Data verification

Results: 958



#Item
921Technology / Automatic identification and data capture / Universal identifiers / Radio-frequency identification / Global Trade Item Number / Electronic Product Code / GS1 / International Article Number / Global Data Synchronization Network / Identification / Barcodes / Identifiers

GE Healthcare Comments on the European Commission’s Concept Paper: Delegated Act on the Detailed Rules for a Unique Identifier for Medicinal Products for Human Use and its Verification (Sanco

Add to Reading List

Source URL: ec.europa.eu

Language: English - Date: 2013-10-09 09:41:10
922Automatic identification and data capture / Privacy / Radio-frequency identification / Ubiquitous computing / Wireless / Gas cylinder / Flatulence / Packaging and labeling / Technology / Medicine / Ethology

DELEGATED ACT ON THE DETAILED RULES FOR A UNIQUE IDENTIFIER FOR MEDICINAL PRODUCTS FOR HUMAN USE, AND ITS VERIFICATION

Add to Reading List

Source URL: ec.europa.eu

Language: English - Date: 2013-10-09 09:40:49
923European Data Protection Supervisor

PRESS RELEASE Brussels, Tuesday 23 June 2009 Data protection compliance in the EU administration: EDPS reports overall good progress and will step up verification in practice The European Data Protection Supervisor (EDPS

Add to Reading List

Source URL: secure.edps.europa.eu

Language: English - Date: 2009-06-23 09:34:49
    924Data security / Court of Auditors / Audit / Information security / Verification / Public safety / Politics / Security / European Network and Information Security Agency / Computer security

    PROF. DR. REINHARD POSCH CHAIRMAN OF THE ENISA MANAGEMENT BOARD OPINION OF THE MANAGEMENT BOARD OF ENISA ON THE ANNUAL ACCOUNTS OF THE YEAR 2007

    Add to Reading List

    Source URL: www.enisa.europa.eu

    Language: English
    925Formal methods / Concurrent computing / Concurrency control / Compiler optimizations / Logic in computer science / Parallel computing / Concurrent data structure / Actor model / Automatic parallelization / Computing / Theoretical computer science / Software engineering

    Verification and Semantic Parallelization of Goal-driven Autonomous Software Damian Dechev1 , Nicolas Rouquette2 , Peter Pirkelbauer1 , and Bjarne Stroustrup1 [removed], [removed], peter.pirkel

    Add to Reading List

    Source URL: www.stroustrup.com

    Language: English - Date: 2012-10-03 14:24:45
    926Procedural programming languages / Data types / Frama-C / Pointer / C / Array data type / D / ALGOL 68 / Memory safety / Computing / Software engineering / Computer programming

    The Jessie plugin for Deductive Verification in Frama-C Tutorial and Reference Manual Version 2.34

    Add to Reading List

    Source URL: krakatoa.lri.fr

    Language: English - Date: 2014-03-17 18:14:41
    927Data transmission / Synchronization / Oscillators / Radio electronics / Detectors / Jitter / Deterministic jitter / Phase noise / Phase detector / Electronic engineering / Electronics / Telecommunications engineering

    Verification of Bit-Error Rate in Bang-Bang Clock and Data Recovery Circuits

    Add to Reading List

    Source URL: designers-guide.org

    Language: English - Date: 2010-05-05 14:09:30
    928Data types / Program logic / Logic in computer science / Separation logic / Substructural logic / Pointer / Iterator / Set / Modal logic / Software engineering / Computing / Computer programming

    Mechanized Verification with Sharing Gregory Malecha Greg Morrisett Harvard University SEAS

    Add to Reading List

    Source URL: ynot.cs.harvard.edu

    Language: English - Date: 2011-07-10 14:38:57
    929Clinical research / Quality / Pharmaceutics / Systems engineering / Technology / Validation / Verification and validation / Software development process / European Medicines Agency / Pharmaceutical industry / Validity / Science

    Guideline on process validation for the manufacture of biotechnology-derived active substances and data to be provided in the regulatory submission

    Add to Reading List

    Source URL: www.seikiken.or.jp

    Language: English - Date: 2014-05-14 19:46:24
    930Data transmission / Synchronization / Oscillators / Radio electronics / Detectors / Jitter / Deterministic jitter / Phase noise / Phase detector / Electronic engineering / Electronics / Telecommunications engineering

    Verification of Bit-Error Rate in Bang-Bang Clock and Data Recovery Circuits

    Add to Reading List

    Source URL: www.designers-guide.org

    Language: English - Date: 2010-05-05 14:09:30
    UPDATE